function application câu

• Putting a space between two things is simply function application.
  Việc đặt một dấu cách giữa hai thứ chỉ đơn giản là áp dụng hàm.
• But apart from getting rid of parentheses, $ means that function application can be treated just like another function.
  Nhưng ngoài việc giúp ta tránh dùng cặp ngoặc tròn, $ còn có nghĩa rằng việc áp dụng hàm có thể được coi như là một hàm khác.
• Function application with a space is left-associative (so f a b c is the same as ((f a) b) c)), function application with $ is right-associative.
  Việc áp dụng hàm bằng dấu cách thì có tính kết hợp trái (theo đó f a b c cũng giống như ((f a) b) c)), còn áp dụng hàm với $ lại có tính kết hợp phải.
• Function application with a space is left-associative (so f a b c is the same as ((f a) b) c)), function application with $ is right-associative.
  Việc áp dụng hàm bằng dấu cách thì có tính kết hợp trái (theo đó f a b c cũng giống như ((f a) b) c)), còn áp dụng hàm với $ lại có tính kết hợp phải.
• We just replace normal values with Writer values where we want and change normal function application to >>= (or do expressions if it increases readability).
  Ta chỉ việc thay thể các giá trị thông thường bằng những giá trị Writer khi cần và thay cách áp dụng hàm thông thường bằng >>= (hoặc các biểu thức do nếu cách này dễ đọc hơn).
• In mathematical logic and computer science, lambda calculus, also written as λ-calculus, is a formal system for function definition, function application and recursion.
  Trong logic toán học và khoa học máy tính, phép tính lambda (tiếng Anh:lambda calculus) hay còn được viết là λ-calculus, là một hệ thống hình thức dùng trong việc định nghĩa hàm số, ứng dụng hàm số và đệ quy.
• In mathematical logic and computer science, lambda calculus, also written as λ-calculus, is a formal system designed to investigate function definition, function application and recursion.
  Trong logic toán học và khoa học máy tính, phép tính lambda (tiếng Anh:lambda calculus) hay còn được viết là λ-calculus, là một hệ thống hình thức dùng trong việc định nghĩa hàm số, ứng dụng hàm số và đệ quy.